245 Concurrent systems modeling with CCL
نویسندگان
چکیده
منابع مشابه
Modeling Timed Concurrent Systems
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description languages), discrete-event simulation, and modeling of communication networks. They consist of concurrent components that communicate using timed signals, that is, sets of (semantically) time-stamped events. The denotationa...
متن کاملModeling and Analyzing Concurrent Systems with Mpa
Process algebras are one of the main tools for modeling and analyzing concurrent systems. However, they can be used to describe only the functional aspect of system behavior. Recently, the relevance of integrating performance evaluation within the process of speciication, design and implementation of concurrent systems has been widely recognized. Hence, an eeort has been made in order to handle...
متن کاملModeling Concurrent Systems with Shared Resources
Testing is the more widely used approach to (partial) system validation in industry. The introduction of concurrency makes exhaustive testing extremely costly or just impossible, requiring shifting to formal verification techniques. We propose a methodology to design and verify a concurrent system that splits the verification problem in two independent tasks: internal verification of shared res...
متن کاملModeling Concurrent Systems: Reconfigurable Nets
The aim of this work is the modeling and verification of concurrent systems subject to dynamic changes using extensions of Petri nets. We introduce the reconfigurable nets. The expressiveness of reconfigurable nets and Petri nets is equivalent, but with reconfigurable nets we can model easily and directly systems that change its structure dynamically. The change of configuration amounts to the ...
متن کامل6 . 245 : Multivariable Control Systems
Let M be a complex matrix of rank one, i.e. M = pq′ where p, q are complex nby-1 matrices and ′ denotes Hermitean conjugation. Let μC(M) and μR(M) denote the structured singular values μ(M,∆) of M defined with ∆ = ∆C and ∆ = ∆R respectively, where ∆C is the cone of all diagonal matrices with complex entries, and ∆R is the cone of all diagonal matrices with real entries. (a) Express μC(M) and μR...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatyka/Automatics
سال: 2012
ISSN: 1429-3447
DOI: 10.7494/automat.2012.16.2.115